Unions of Slices Are Not Slices

نویسندگان

  • Andrea De Lucia
  • Mark Harman
  • Robert M. Hierons
  • Jens Krinke
چکیده

Many approaches to slicing rely upon the ‘fact’ that the union of two static slices is a valid slice. It is known that static slices constructed using program dependence graph algorithms are valid slices [19]. However, this is not true for other forms of slicing. For example, it has been established that the union of two dynamic slices is not necessarily a valid dynamic slice [8]. In this paper this result is extended to show that the union of two static slices is not necessarily a valid slice, based on Weiser’s definition of a (static) slice. We also analyse the properties that make the union of different forms of slices a valid slice.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Protective effect of curcumin and Curcuma longa extract on apoptosis of motor neurons in cultured spinal cord slices of adult mouse

Introduction: Since Curcuma longa extract and curcumin have been shown to be potent antioxidant agents, they were used in cultured adult mouse spinal cord slices to investigate whether they can inhibit apoptosis in motor neurons. Methods: Slices from the thoracic region of adult mice spinal cord were divided into four groups: 1. Freshlyprepared slices (time 0) 2. Control 3. Slices treated by cu...

متن کامل

Plastination and Staining of Brain Slices Using Two Different Dehydration Methods

Introduction: Unstained formalin-fixed whole brain specimens and brain slices do not give satisfactory results for teaching neuroanatomy. In addition, difficulties in obtaining human brains for dissection have increased the demand for more durable brain specimens that have been obtained by the plastination technique. In the present study brain specimens were sliced, fixed and stained using...

متن کامل

Study of Reinforced Slopes Safety Factor Using the Inclined Slices Method

Stability of reinforced slopes is almost always carried out using limit equilibrium methods and controlled by the shear strengths of the slope materials and the extension force of reinforcements. According to limit equilibrium methods, the stability of slopes is assessed by dividing the whole failure wedge into several vertical elements. In order to determine the safety factor of the reinforce...

متن کامل

Protective effects of phenolic acids on mercury-induced DNA damage in precision-cut kidney slices

Objective(s): Precision-cut tissue slices are considered an organotypic 3D model widely used in biomedical research. The comet assay is an important screening test for early genotoxicity risk assessment that is mainly applied on in vitro models.  The aim of the present study was to provide a 3D organ system for determination of genotoxicity using a modified method of the comet assay since the s...

متن کامل

Study of Reinforced Slopes Safety Factor Using the Inclined Slices Method

Stability of reinforced slopes is almost always carried out using limit equilibrium methods and controlled by the shear strengths of the slope materials and the extension force of reinforcements. According to limit equilibrium methods, the stability of slopes is assessed by dividing the whole failure wedge into several vertical elements. In order to determine the safety&#10factor of the reinfor...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2003